Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
951	PDF Document Add to Reading List Source URL: carlsensei.com Language: English - Date: 2009-12-19 12:28:46 Theory of computation Computability theory Turing machine Models of computation Digital physics Computability Computation Hypercomputation A New Kind of Science Theoretical computer science Applied mathematics Computer science
952	Theory Comput. Systems 35, 483–[removed]DOI: [removed]s00224[removed]Theory of Computing Systems Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2007-02-01 15:29:54 Turing machine Computer science Computability theory Formal methods Universal Turing machine Qi Combinatory logic Finite-state machine Algorithm Theoretical computer science Theory of computation Models of computation
953	Distributed Computing Prof. R. Wattenhofer Semester/Bachelor/Master Thesis: Anonymous Computation Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2014-04-30 11:04:28 Theory of computation Applied mathematics Computer science Computability theory Algorithms Distributed computing Algorithm Mathematics
954	REVIEWS Edited by Gerald B. Folland Mathematics Department, University of Washington, Seattle, WA[removed]A New Kind of Science. By Stephen Wolfram. Wolfram Media, Champaign, IL, 2002, xiv + 1197 pp., ISBN[removed] Add to Reading List Source URL: sjsu.rudyrucker.com Language: English - Date: 2003-12-01 12:31:20 Turing machine Theory of computation Computability theory Wolfram Research Cellular automaton A New Kind of Science Turing completeness Rule 30 Stephen Wolfram Computer science Theoretical computer science Mathematics
955	MODELING AND QUERYING RECURSIVE DATA STRUCTURES II: A SEMANTIC APPROACH J.H. ter Bekke and J.A. Bakker Delft University of Technology Faculty of Information Technology and Systems e-mail: {J.H.terBekke, J.A.Bakker}@its.t Add to Reading List Source URL: www.kbs.twi.tudelft.nl Language: English - Date: 2004-04-08 04:47:10 Data modeling Programming idioms Mathematical logic Theoretical computer science Computability theory Recursion Recursive data type EXPRESS SQL Computing Computer programming Software engineering
956	PDF Document Add to Reading List Source URL: www.grandpoohbah.net Language: English - Date: 2005-06-08 00:42:43 Oracle machine Oracle Corporation SQL Data management Information technology management Computing Relational database management systems Computability theory
957	Mathematical or Physical? Are computing machines abstract models or concrete devices? Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:24 Computability theory Theory of computation Models of computation Formal methods Turing machine Cellular automaton Computability Algorithm Computational complexity theory Applied mathematics Theoretical computer science Computer science
958	Physically Scalable Computation - an axiomatic approach Steven Lindell, Haverford College Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:12 Theory of computation Computability theory Models of computation Algorithm Mathematical logic Random access machine Analysis of algorithms Computational complexity theory Computability Theoretical computer science Applied mathematics Computer science
959	A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England 28 May 1998 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:49 Mathematical logic Computability theory Theoretical computer science Recursion Theory of computation Primitive recursive function Structural induction Recursive definition Coinduction Mathematics Computer programming Software engineering
960	On Self-Reproduction and Evolvability? Tim Taylor Institute of Perception, Action and Behaviour, Division of Informatics, University of Edinburgh, 5 Forrest Hill, Edinburgh EH1 2QL, Scotland. Add to Reading List Source URL: www.tim-taylor.com Language: English - Date: 2013-05-01 16:53:36 Artificial life Cybernetics Computability theory Austrian nobility John von Neumann Cellular automaton Genetic algorithm Self-organization Gene Science Mathematics Applied mathematics